Учебные материалы/Лекции/Математическая логика и теория алгоритмов/математическая логика и теория алгоритмов — MEPHIST.ru — Портал студентов и выпускников МИФИ
http://www.mephist.ru/Учебные материалы/Лекции/Математическая логика и теория алгоритмов/математическая логика и теория алгоритмов